The cost of software fault tolerance

The proposed use of software fault tolerance techniques as a means of reducing software costs in avionics and as a means of addressing the issue of system unreliability due to faults in software is examined. A model is developed to provide a view of the relationships among cost, redundancy, and reliability which suggests strategies for software development and maintenance which are not conventional

Evaluation Applied to Reliability Analysis of Reconfigurable, Highly Reliable, Fault-Tolerant, Computing Systems for Avionics

Emulation techniques are proposed as a solution to a difficulty arising in the analysis of the reliability of highly reliable computer systems for future commercial aircraft. The difficulty, viz., the lack of credible precision in reliability estimates obtained by analytical modeling techniques are established. The difficulty is shown to be an unavoidable consequence of: (1) a high reliability requirement so demanding as to make system evaluation by use testing infeasible, (2) a complex system design technique, fault tolerance, (3) system reliability dominated by errors due to flaws in the system definition, and (4) elaborate analytical modeling techniques whose precision outputs are quite sensitive to errors of approximation in their input data. The technique of emulation is described, indicating how its input is a simple description of the logical structure of a system and its output is the consequent behavior. The use of emulation techniques is discussed for pseudo-testing systems to evaluate bounds on the parameter values needed for the analytical techniques

Developments in the science of zein, kafirin, and gluten protein bioplastic materials

Despite much research, there are very few commercial prolamin bio-plastics. The major reason, apart from their high cost, is that they have inferior functional properties compared to synthetic polymer plastics. This is because the prolamins are complex, each consisting of several classes and sub-classes and the functional properties of their bio-plastics are greatly affected by water. Prolamin bio-plastics are produced by protein aggregation from a solvent or by thermoplastic processing. Recent research indicates that protein aggregation occurs by polypeptide self-assembly into nanostructures. Protein secondary structure in terms of α- helical and β-sheet structure seems to play a key, but incompletely understood role in assembly. Also, there is inadequate knowledge as to how these nanostructures further assemble and organize into the various forms of prolamin bio-plastics such as films, fibres, microparticles and scaffolds. Some improvements in bio-plastic functionality have been made by better prolamin solvation, plasticization, physical and chemical cross-linking, derivatization and blending with other polymers. The most promising area of commercialization is the biomedical field where the relative hydrophilicity, compatibility and biodegradability of particularly zein and kafirin are advantageous. With regard to biomedical applications, “supramolecular design” of prolamin bio-plastics through control over interand intramolecular weak interactions and SS/SH interchange between and within polypeptides appears to have considerable potential.University of Pretoria doctoral bursaryhttp://cerealchemistry.aaccnet.org/hb201

First Dark Matter Search Results from the LUX-ZEPLIN (LZ) Experiment

The LUX-ZEPLIN (LZ) experiment is a dark matter detector centered on a dual-phase xenon time projection chamber operating at the Sanford Underground Research Facility in Lead, South Dakota, USA. This Letter reports results from LZ's first search for Weakly Interacting Massive Particles (WIMPs) with an exposure of 60 live days using a fiducial mass of 5.5 t. A profile-likelihood ratio analysis shows the data to be consistent with a background-only hypothesis, setting new limits on spin-independent WIMP-nucleon, spin-dependent WIMP-neutron, and spin-dependent WIMP-proton cross-sections for WIMP masses above 9 GeV/c$^2$. The most stringent limit is set at 30 GeV/c$^2$, excluding cross sections above 5.9$\times 10^{-48}$ cm$^2$ at the 90\% confidence level.Comment: 9 pages, 6 figures. See https://tinyurl.com/LZDataReleaseRun1 for a data release related to this pape

The LUX-ZEPLIN (LZ) Experiment

We describe the design and assembly of the LUX-ZEPLIN experiment, a direct detection search for cosmic WIMP dark matter particles. The centerpiece of the experiment is a large liquid xenon time projection chamber sensitive to low energy nuclear recoils. Rejection of backgrounds is enhanced by a Xe skin veto detector and by a liquid scintillator Outer Detector loaded with gadolinium for efficient neutron capture and tagging. LZ is located in the Davis Cavern at the 4850' level of the Sanford Underground Research Facility in Lead, South Dakota, USA. We describe the major subsystems of the experiment and its key design features and requirements

The LUX-ZEPLIN (LZ) experiment

We describe the design and assembly of the LUX-ZEPLIN experiment, a direct detection search for cosmic WIMP dark matter particles. The centerpiece of the experiment is a large liquid xenon time projection chamber sensitive to low energy nuclear recoils. Rejection of backgrounds is enhanced by a Xe skin veto detector and by a liquid scintillator Outer Detector loaded with gadolinium for efficient neutron capture and tagging. LZ is located in the Davis Cavern at the 4850’ level of the Sanford Underground Research Facility in Lead, South Dakota, USA. We describe the major subsystems of the experiment and its key design features and requirements

The LUX-ZEPLIN (LZ) radioactivity and cleanliness control programs

LUX-ZEPLIN (LZ) is a second-generation direct dark matter experiment with spin-independent WIMP-nucleon scattering sensitivity above 1.4×10−48cm2 for a WIMP mass of 40GeV/c2 and a 1000days exposure. LZ achieves this sensitivity through a combination of a large 5.6t fiducial volume, active inner and outer veto systems, and radio-pure construction using materials with inherently low radioactivity content. The LZ collaboration performed an extensive radioassay campaign over a period of six years to inform material selection for construction and provide an input to the experimental background model against which any possible signal excess may be evaluated. The campaign and its results are described in this paper. We present assays of dust and radon daughters depositing on the surface of components as well as cleanliness controls necessary to maintain background expectations through detector construction and assembly. Finally, examples from the campaign to highlight fixed contaminant radioassays for the LZ photomultiplier tubes, quality control and quality assurance procedures through fabrication, radon emanation measurements of major sub-systems, and bespoke detector systems to assay scintillator are presented